function getRandomInt() {
  return Math.floor(Math.random() * 10) + 1;
}

switch (getRandomInt()) {
  case 1:
    import("highlight.js/styles/devibeans.css");
    break;
  case 2:
    import("highlight.js/styles/a11y-dark.css");
    break;
  case 3:
    import("highlight.js/styles/agate.css");
    break;
  case 4:
    import("highlight.js/styles/an-old-hope.css");
    break;
  case 5:
    import("highlight.js/styles/androidstudio.css");
    break;
  case 6:
    import("highlight.js/styles/felipec.css");
    break;
  case 7:
    import("highlight.js/styles/arta.css");
    break;
  case 8:
    import("highlight.js/styles/github-dark-dimmed.css");
    break;
  case 9:
    import("highlight.js/styles/atom-one-dark-reasonable.css");
    break;
  case 10:
    import("highlight.js/styles/monokai-sublime.css");
    break;
}
